Compton's Method for Proving Logical Limit Laws
نویسندگان
چکیده
Developments in the study of logical limit laws for both labelled and unlabelled structures, based on the methods of Compton (1987/1989), are surveyed, and a sandwich theorem is proved for multiplicative systems.
منابع مشابه
Asymptotics for Logical Limit Laws: When the Growth of the Components Is in an Rt Class
Compton’s method of proving monadic second-order limit laws is based on analyzing the generating function of a class of finite structures. For applications of his deeper results we previously relied on asymptotics obtained using Cauchy’s integral formula. In this paper we develop elementary techniques, based on a Tauberian theorem of Schur, that significantly extend the classes of structures fo...
متن کاملThe Logical Part of Essentiality and Unity of Existence in Proving the Unity of Necessary Being
This article has no abstract.
متن کاملA Teaching Tool for Proving Equivalences between Logical Formulae
In this paper we describe a teaching tool for proving equivalences between propositional logic formulae, using rewrite rules such as De Morgan’s laws and double negation. This tool is based on an earlier tool for rewriting logical formulae into disjunctive normal form (DNF). Both tools make use of a rewrite strategy, which specifies how an exercise can be solved stepwise. Different types of fee...
متن کاملDetermined theories and limit laws
We provide a new model theoretic technique for proving 0-1 and convergence laws. As an application, we obtain a new (slightly less computational) proof of convergence laws due to Spencer and Thoma for the probability functions: pn = ln(n) n + l·ln(ln(n)) n + c n .
متن کاملThe Three Laws of Thought, Plus One: The Law of Comparisons
The rules of logic are nearly 2500 years old and date back to Plato and Aristotle who set down the three laws of thought: identity, non-contradiction, and excluded middle. The use of language and logic has been adequate for us to develop mathematics, prove theorems, and create scientific knowledge. However, the laws of thought are incomplete. We need to extend our logical system by adding to th...
متن کامل